منابع مشابه
Note on Π 0 n + 1 - LEM , Σ 0 n + 1 - LEM and Σ 0 n + 1 - DNE
In [1] Akama, Berardi, Hayashi and Kohlenbach used a monotone modified realizability interpretation to establish the relative independence of Σ n+1-DNE from Π 0 n+1-LEM over HA, and hence the independence of Σ n+1-LEM from Π 0 n+1-LEM over HA, for all n ≥ 0. We show that the same relative independence results hold for these arithmetical principles over Kleene and Vesley’s system FIM of intuitio...
متن کاملNote on Star-shaped Sets
1. The aim of this note is to prove that if 717" is a compact subset of En and for some m every w-dimensional hyperplane through a fixed point pQEn intersects M along a nonempty acyclic set, lúm^n — 1, then M is star-shaped with respect to p, i.e., if aQM then the segment pa is contained in M. This theorem is a generalization of a theorem of Aumann [l]. We gave recently a proof of Aumann's theo...
متن کاملThe σ-convergence and σ-core of double sequences
The σ -convergence and σ -core of a real bounded sequence were introduced in [R. Raimi, Invariant means and invariant matrix methods of summability, Duke Math. J. 30 (1963) 81–94] and [S.L. Mishra, B. Satapathy, N. Rath, Invariant means and σ -core, J. Indian Math. Soc. 60 (1984) 151–158], respectively. In this work, we extend these ideas to double sequences. c © 2006 Elsevier Ltd. All rights r...
متن کامل0 Measurements of the Σ 0 c and Σ + + c Mass Splittings
Using a high statistics sample of photoproduced charmed particles from the FOCUS experiment at Fermilab (FNAL-E831), we measure the mass splittings of the charmed baryons Σc and Σ ++ c . We find M(Σ 0 c − Λ + c ) = 167.38 ± 0.21 ± 0.13 MeV/c 2 and M(Σ c −Λ + c ) = 167.35±0.19±0.12 MeV/c 2 with samples of 362±36 and 461±39 events, respectively. We measure the isospin mass splitting M(Σ c − Σ 0 c...
متن کاملOn Edge-Decomposition of Cubic Graphs into Copies of the Double-Star with Four Edges
A tree containing exactly two non-pendant vertices is called a double-star. Let $k_1$ and $k_2$ be two positive integers. The double-star with degree sequence $(k_1+1, k_2+1, 1, ldots, 1)$ is denoted by $S_{k_1, k_2}$. It is known that a cubic graph has an $S_{1,1}$-decomposition if and only if it contains a perfect matching. In this paper, we study the $S_{1,2}$-decomposit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomische Nachrichten
سال: 1875
ISSN: 0004-6337,1521-3994
DOI: 10.1002/asna.18750860609